shell-global: Remove hacks around clutter_event_get_current_time()

clutter_event_get_current_time() has been fixed upstream as part
of reentrant bug fixes, so there's no need for these shenanigans.

https://bugzilla.gnome.org/show_bug.cgi?id=690665

diff --git a/src/shell-global.c b/src/shell-global.c
index c95f07803f2a1fa2c43994f955509c7e9577dd93..2a6b14e89a15197077c3874a76ee326aca3c7991 100644 (file)
--- a/src/shell-global.c
+++ b/src/shell-global.c
@@ -1415,7 +1415,7 @@ shell_global_get_current_time (ShellGlobal *global)
      from some Clutter event callbacks.
 
      clutter_get_current_event_time() will return the correct time
-     from a Clutter event callback, but may return an out-of-date
+     from a Clutter event callback, but may return CLUTTER_CURRENT_TIME
      timestamp if called at other times.
 
      So we try meta_display_get_current_time() first, since we
@@ -1425,17 +1425,9 @@ shell_global_get_current_time (ShellGlobal *global)
 
   time = meta_display_get_current_time (global->meta_display);
   if (time != CLUTTER_CURRENT_TIME)
-      return time;
-  /*
-   * We don't use clutter_get_current_event_time as it can give us a
-   * too old timestamp if there is no current event.
-   */
-  clutter_event = clutter_get_current_event ();
+    return time;
 
-  if (clutter_event != NULL)
-    return clutter_event_get_time (clutter_event);
-  else
-    return CLUTTER_CURRENT_TIME;
+  return clutter_get_current_event_time ();
 }
 
 /**